Fun with F 1
نویسنده
چکیده
We show that the algebra and the endomotive of the quantum statistical mechanical system of Bost–Connes naturally arises by extension of scalars from the " field with one element " to rational numbers. The inductive structure of the abelian part of the endomotive corresponds to the tower of finite extensions of that " field " , while the endomorphisms reflect the Frobenius correspondences. This gives in particular an explicit model over the integers for this endomotive, which is related to the original Hecke algebra description. We study the reduction at a prime of the endomotive and of the corresponding noncommutative crossed product algebra.
منابع مشابه
Identifying Factors Affecting Fun in Workplace with Ethnography Approach
The purpose of this study is to identifying factors affecting Fun in Workplace in Army Physical Training Corps.The study type is developmental and mix method and to extract factors, ethnography methodology that is a qualitative method was used. To extract factors, ethnography methodology was used. Statistical population in this study consists of Army Physical Training Corps. In quantitative sec...
متن کاملDesigning a Theorem Prover
ion, and substitution is simple: fun replace_term (u,new) t = if t=u then new else case t of Fun(a,ts) => Fun(a, map (replace_term(u,new)) ts) | _ => t; fun abstract t = let fun abs i (Pred(a,ts)) = Pred(a, map (replace_term (t, Bound i)) ts) | abs i (Conn(b,As)) = Conn(b, map (abs i) As) | abs i (Quant(q,b,A)) = Quant(q, b, abs (i+1) A) in abs 0 end; fun subst_bound t = let fun subst i (Pred(a...
متن کاملÐðððööö Òò Óóððððööö Ëøöù Blockin Øùöö×´ää
(Le ture Notes for Álgebra de Pro essos) Mestrado em Matemáti a Computa ional Luís Soares Barbosa lsb di.uminho.pt Departamento de Informáti a Universidade do Minho Março 2003 1 Observation & Constru tion 1. Fun tions. One of the most elementary models of a omputational pro ess is that of a fun tion f : I −→ O whi h spe i es a transformation rule between two stru tures I and O. The behaviour of...
متن کاملA Normalization Code in Standard Ml Datatype 'a Option = None | Some of 'a 7 Conclusion and Future Work
The following Standard ML code can be used for solving constraint systems. The code assumes that phase 1 described earlier has been performed during constraint generation. The imperative aspects of Standard ML have been used a lot and we believe that this must be done for the complexity analysis to hold. For readability we have used standard list notation for the dependency lists although our c...
متن کاملBregman divergence as relative operator entropy
vet C e onvex set in fnh spe nd r e rilert speF por n opertorE vlued smooth funtionl © X C 3 B@rAD we dene the Bregman divergence of x; y P C s D © @x; yA Xa ©@xA ©@yA lim t3CH t I ©@y C t@x yAA ©@yA : ell tht originlly vev fregmn introdued this onept for relEvlued onvex funE tions © PF yn the selfEdjoint opertorsD there is stndrd prtil orderingD A...
متن کاملOn Some Classes of Functions and Hypercubes
X iv :0 81 2. 43 67 v1 [ cs .D M ] 2 3 D ec 2 00 8 ON SOME CLASSES OF FUNCTIONS AND HYPERCUBES DIMITER STOICHKOV KOVACHEV Abstra t. In this paper, some lasses of dis rete fun tions of k-valued logi are onsidered, that depend on sets of their variables in a parti ular way. Obtained results allow to " onstru t" these fun tions and to present them in their tabular, analyti al or matrix form, that ...
متن کامل